Bernd Finkbeiner: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - The Hierarchy of Hyperlogics

Coenen, Norine, Finkbeiner, Bernd, Hahn, Christopher, Hofmann, Jana

Year:

2019

Language:

english

File:

PDF, 363 KB

english, 2019

2

[Lecture Notes in Computer Science] Fields of Logic and Computation II Volume 9300 ||

Beklemishev, Lev D., Blass, Andreas, Dershowitz, Nachum, Finkbeiner, Bernd, Schulte, Wolfram

Year:

2015

Language:

english

File:

PDF, 5.13 MB

english, 2015

3

[ACM Press the 12th ACM SIGPLAN International Symposium - Berlin, Germany (2019.08.22-2019.08.23)] Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 - Synthesizing functional reactive programs

Finkbeiner, Bernd, Klein, Felix, Piskac, Ruzica, Santolucito, Mark

Year:

2019

Language:

english

File:

PDF, 8.50 MB

english, 2019

4

Efficient monitoring of hyperproperties using prefix trees

Finkbeiner, Bernd, Hahn, Christopher, Stenger, Marvin, Tentrup, Leander

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2020

Language:

english

File:

PDF, 616 KB

english, 2020

5

Checking Finite Traces Using Alternating Automata

Bernd Finkbeiner, Henny Sipma

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 196 KB

english, 2004

6

[ACM Press the 2017 ACM SIGSAC Conference - Dallas, Texas, USA (2017.10.30-2017.11.03)] Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS '17 - Verifying Security Policies in Multi-agent Workflows with Loops

Finkbeiner, Bernd, Müller, Christian, Seidl, Helmut, Zălinescu, Eugen

Year:

2017

Language:

english

File:

PDF, 1.16 MB

english, 2017

7

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

Nikolaj S. Bjørner, Anca Browne, Michael A. Colón, Bernd Finkbeiner, Zohar Manna, Henny B. Sipma, Tomás E. Uribe

Journal:

Formal Methods in System Design

Year:

2000

Language:

english

File:

PDF, 254 KB

english, 2000

8

[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - The Complexity of Monitoring Hyperproperties

Bonakdarpour, Borzoo, Finkbeiner, Bernd

Year:

2018

Language:

english

File:

PDF, 425 KB

english, 2018

9

Checking Finite Traces using Alternating Automata

Bernd Finkbeiner, Henny Sipma

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 298 KB

english, 2001

10

[American Institute of Aeronautics and Astronautics Infotech@Aerospace 2012 - Garden Grove, California ()] Infotech@Aerospace 2012 - FlexRay for Avionics: Automatic Verification with Parametric Physical Layers

Gerke, Michael, Ehlers, RÃ¼diger, Finkbeiner, Bernd, Peter, Hans-JÃ¶rg

File:

PDF, 490 KB

11

Directed model checking with distance-preserving abstractions

Klaus Dräger, Bernd Finkbeiner, Andreas Podelski

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 465 KB

english, 2009

12

[Lecture Notes in Computer Science] Runtime Verification Volume 6418 || Compensation-Aware Runtime Monitoring

Barringer, Howard, Falcone, Ylies, Finkbeiner, Bernd, Havelund, Klaus, Lee, Insup, Pace, Gordon, Roşu, Grigore, Sokolsky, Oleg, Tillmann, Nikolai

Year:

2010

Language:

english

File:

PDF, 260 KB

english, 2010

13

Preface

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 71 KB

english, 2009

14

Preface

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 66 KB

english, 2010

15

[ACM Press the second workshop - Atlanta, Georgia (2007.11.06-2007.11.06)] Proceedings of the second workshop on Automated formal methods - AFM '07 - SMT-based synthesis of distributed systems

Finkbeiner, Bernd, Schewe, Sven

Year:

2007

Language:

english

File:

PDF, 165 KB

english, 2007

16

Monitoring hyperproperties

Finkbeiner, Bernd, Hahn, Christopher, Stenger, Marvin, Tentrup, Leander

Journal:

Formal Methods in System Design

Year:

2019

Language:

english

File:

PDF, 888 KB

english, 2019

17

[Lecture Notes in Computer Science] Runtime Verification Volume 11757 (19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings) ||

Finkbeiner, Bernd, Mariani, Leonardo

Year:

2019

Language:

english

File:

PDF, 18.29 MB

english, 2019

18

The ‘Cash-Point’ Service: A Verification Case Study Using STeP

Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma

Journal:

Formal Aspects of Computing

Year:

2000

Language:

english

File:

PDF, 45 KB

english, 2000

19

Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit

Finkbeiner, Bernd, Sanchez, Cesar

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 289 KB

english, 2016

20

Preface for the special issue for ATVA 2015

Finkbeiner, Bernd, Pu, Geguang, Zhang, Lijun

Journal:

Acta Informatica

Year:

2018

File:

PDF, 296 KB

2018

21

[IEEE 2019 Formal Methods in Computer Aided Design (FMCAD) - San Jose, CA, USA (2019.10.22-2019.10.25)] 2019 Formal Methods in Computer Aided Design (FMCAD) - Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

Geier, Gideon, Heim, Philippe, Klein, Felix, Finkbeiner, Bernd

Year:

2019

File:

PDF, 280 KB

2019

22

[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - The Complexity of Monitoring Hyperproperties

Bonakdarpour, Borzoo, Finkbeiner, Bernd

Year:

2018

File:

PDF, 425 KB

2018

23

Addressing Sustainability and Flexibility in Manufacturing Via Smart Modular Machine Tool Frames to Support Sustainable Value Creation

Peukert, Bernd, Benecke, Stephan, Clavell, Janire, Neugebauer, Sabrina, Nissen, Nils F., Uhlmann, Eckart, Lang, Klaus-Dieter, Finkbeiner, Matthias

Journal:

Year:

2015

Language:

english

File:

PDF, 1.60 MB

english, 2015

24

The linear-hyper-branching spectrum of temporal logics

Finkbeiner, Bernd, Rabe, Markus N.

Journal:

it - Information Technology

Year:

2014

Language:

english

File:

PDF, 410 KB

english, 2014

25

[ACM Press the 1st International Workshop - Pittsburgh, PA, USA (2017.04.18-2017.04.21)] Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles - SCAV'17 - Vehicle Platooning Simulations with Functional Reactive Programming

Finkbeiner, Bernd, Klein, Felix, Piskac, Ruzica, Santolucito, Mark

Year:

2017

Language:

english

File:

PDF, 5.70 MB

english, 2017

26

SPIE Proceedings [SPIE Symposium on Design, Test, Integration, and Packaging of MEMS/MOEMS 2002 - Cannes-Mandelieu, France (Tuesday 19 March 2002)] Design, Test, Integration, and Packaging of MEMS/MOEMS 2002 - Influence of process variation on the functionality of a high-pressure sensor

Muchow, Joerg, Kretschmann, Andre, Henn, Ralf, Skrobanek, Klaus, Finkbeiner, Stefan, Krauss, Hans R., Courtois, Bernard, Karam, Jean Michel, Markus, Karen W., Michel, Bernd, Mukherjee, Tamal, Walker,

Year:

2002

Language:

english

File:

PDF, 145 KB

english, 2002

27

Preface

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 71 KB

english, 2008

28

Petri games: Synthesis of distributed systems with causal memory

Finkbeiner, Bernd, Olderog, Ernst-Rüdiger

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 1.59 MB

english, 2016

29

Preface

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 69 KB

english, 2007

30

Sugarcane ethanol production in Malawi: Measures to optimize the carbon footprint and to avoid indirect emissions

Dunkelberg, Elisa, Finkbeiner, Matthias, Hirschl, Bernd

Journal:

Biomass and Bioenergy

Year:

2014

Language:

english

File:

PDF, 402 KB

english, 2014

31

Collecting Statistics Over Runtime Executions

Bernd Finkbeiner, Sriram Sankaranarayanan, Henny B. Sipma

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 1.34 MB

english, 2005

32

Collecting Statistics over Runtime Executions

Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 207 KB

english, 2002

33

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9364 || Formal Verification of Infinite-State BIP Models

Finkbeiner, Bernd, Pu, Geguang, Zhang, Lijun

Year:

2015

Language:

english

File:

PDF, 570 KB

english, 2015

34

[IEEE 2008 IEEE 29th Real-Time Systems Symposium (RTSS) - Barcelona, Spain (2008.11.30-2008.12.3)] 2008 Real-Time Systems Symposium - Synthesizing Certificates in Networks of Timed Automata

Finkbeiner, Bernd, Peter, Hans-Jörg, Schewe, Sven

Year:

2008

Language:

english

File:

PDF, 303 KB

english, 2008

35

[Lecture Notes in Computer Science] Runtime Verification Volume 6418 || Statistical Model Checking: An Overview

Barringer, Howard, Falcone, Ylies, Finkbeiner, Bernd, Havelund, Klaus, Lee, Insup, Pace, Gordon, Roşu, Grigore, Sokolsky, Oleg, Tillmann, Nikolai

Year:

2010

Language:

english

File:

PDF, 216 KB

english, 2010

36

[ACM Press the 2013 ACM SIGSAC conference - Berlin, Germany (2013.11.04-2013.11.08)] Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 - Relational abstract interpretation for the verification of 2-hypersafety properties

Kovács, Máté, Seidl, Helmut, Finkbeiner, Bernd

Year:

2013

Language:

english

File:

PDF, 708 KB

english, 2013

37

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9364 || Spanning the Spectrum from Safety to Liveness

Finkbeiner, Bernd, Pu, Geguang, Zhang, Lijun

Year:

2015

Language:

english

File:

PDF, 263 KB

english, 2015

38

[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - Verifying hyperproperties of hardware systems

Finkbeiner, Bernd, Rabe, Markus

Year:

2016

Language:

english

File:

PDF, 49 KB

english, 2016

39

[IEEE 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) - Boston, MA, USA (2020.6.22-2020.6.26)] 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) - Controller Synthesis for Hyperproperties

Bonakdarpour, Borzoo, Finkbeiner, Bernd

Year:

2020

File:

PDF, 245 KB

2020

40

Preface

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 72 KB

english, 2006

41

SEMI-AUTOMATIC DISTRIBUTED SYNTHESIS

SCHEWE, SVEN, FINKBEINER, BERND

Journal:

International Journal of Foundations of Computer Science

Year:

2007

Language:

english

File:

PDF, 1.38 MB

english, 2007

42

Bounded synthesis

Finkbeiner, Bernd, Schewe, Sven

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 1.25 MB

english, 2013

43

Preface

Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny Sipma

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 54 KB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски